Hello,
I am using Jedit4.3pre13 with TextTools-plugin 1.14 and have the following (minor)
problem:
In the Text-Tools options I only use the following option:
Insert line comment at start of line
In my Edit-mode I have specified the following lines:
<PROPS>
<PROPERTY NAME="lineComment" VALUE="\* " />
</PROPS>
and in the Rules section I have:
<EOL_SPAN TYPE="COMMENT1" AT_LINE_START="TRUE">\*</EOL_SPAN>
So whenever a "\*" is at the start of the line this is highlighted as a comment. But
only a "\* " should be recognized by toggle line comment as a comment.
This is very handy since it allows me to have line comments that are toggled and line
comment that are not toggled.
If, for example, one has the following code:
\*permanent comment for the first block
code
\*permanent comment for the second block
\* alternative code that can be toggled
Now one can select the four lines and switch between the two line blocks of code by
applying (once) toggle line comment. The result would be the following:
\* \*permanent comment for the first block
\* code
\* \*permanent comment for the second block
alternative code that can be toggled
Here, I found it disturbing that an additional space has been included by the toggle
line comment. Instead of the expected "\* " a "\* " has been included (with two white
spaces).
Note also that the actual text of the last line would be changed when twice toggled.
Certainly there are use-cases, where adding an additional space can be useful (in
these use-cases the space is a feature, not a bug). However I would be very please
if the inclusion of an additional space could be made optional - so one could choose
if the space is needed or not. In my use-case the extra space is clearly not needed
and leads to disturbing amount of space which encumbers readability.
Thanks a lot for providing the TextTools plugin. I have added the Toggle Line comment
to the context menu and use it all the time\!
| Submitted | goebbe - 2008-03-17 17:01:56 | Assigned | ian_lewis |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2008-03-18 02:25:19 ian_lewis |
Logged In: YES |
|---|---|
| 2008-03-18 02:25:19 ian_lewis |
- **assigned_to**: nobody --> ian_lewis |
| 2008-03-18 10:11:46 goebbe |
Logged In: YES |